\begin{tabbing}
es{-}lc\=\{i:l\}\+
\\[0ex](${\it es}$; $T$; ${\it eq}$; $x$; $e$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if changed\{i:l\}($T$; ${\it eq}$; ${\it es}$; $x$; $e$) then last{-}change\{i:l\}($T$; ${\it eq}$; ${\it es}$; $x$; $e$) else $e$ fi 
\end{tabbing}